Howard University

Results: 1663



#Item
401Education / Information / Data / Data management / Data management plan / Digital Curation Centre

Darlington, M., Ball, A., Howard, T., Culley, S. and McMahon, CPrinciples for Engineering Research Data Management. Other. University of Bath. (Unpublished) Link to official URL (if available): Opus: University

Add to Reading List

Source URL: opus.bath.ac.uk

Language: English - Date: 2014-11-21 23:07:39
402Restorative justice / Eastern Mennonite University / Crime / Howard Zehr / Law enforcement / Criminal law / John Braithwaite / CONFER / Young offender / Ethics / Criminology / Justice

YOUR STORY AND THEIRS: THE YOUTH JUSTICE GROUP CONFERENCING PROGRAM CHRISTOPHER HOOPER* This article provides a small-scale empirical study which interrogates the restorative justice dialogue underpinning the Youth Justi

Add to Reading List

Source URL: www.law.monash.edu

Language: English - Date: 2014-02-27 18:00:16
403Statistical hypothesis testing / P-value / Multiple comparisons / Confidence interval / Statistical power / Type I and type II errors / Familywise error rate / F-test / Curry–Howard correspondence / Statistics / Hypothesis testing / False discovery rate

J. R. Statist. Soc. B, Part 3, pp. 479–498 A direct approach to false discovery rates John D. Storey Stanford University, USA

Add to Reading List

Source URL: www.genomine.org

Language: English - Date: 2008-09-06 00:24:49
404Jewish history / Palestine / Fertile Crescent / Howard Sachar / Palestinian exodus / Israeli–Palestinian conflict / Palestinian people / Jewish state / Charles Liebman / Asia / Zionism / Nationalism

His 113: History of Modern Israel Dr. Guy Ben-Porat University of California, Davis Spring, 2009 Israeli society is still struggling to define it borders and boundaries and the tensions between its commitments to a Jewis

Add to Reading List

Source URL: www.jewishvirtuallibrary.org

Language: English - Date: 2009-10-26 16:04:02
405Programming language theory / Mathematics / Type constructor / Recursive data type / Type system / Turn / Ordinal number / Curry–Howard correspondence / Type theory / Mathematical logic / Data types

Flexible Type Analysis∗ Karl Crary Stephanie Weirich Carnegie Mellon University

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:49:28
406Proof theory / Models of computation / Logic in computer science / Symbol / Lambda calculus / Curry–Howard correspondence / Dynamical system / Theoretical computer science / Computer science / Mathematics

2 Typed Compilation Against Non-Manifest Base Classes Christopher League1 and Stefan Monnier2 1 Long Island University

Add to Reading List

Source URL: contrapunctus.net

Language: English - Date: 2012-03-13 13:00:12
407Higher education / Howard University / Financial endowment / Student financial aid in the United States / Washington University in St. Louis / Oklahoma State System of Higher Education / Oak Ridge Associated Universities / Education / Academia

Department of Education HOWARD UNIVERSITY Fiscal Year 2013 Budget Request CONTENTS Page

Add to Reading List

Source URL: www2.ed.gov

Language: English - Date: 2012-02-09 10:10:25
408International Federation of Social Workers / International Association of Schools of Social Work / Social work / Psychiatry / University of KwaZulu-Natal

Social Work Day Celebrated at UKZN BY: The Social Work Discipline within the School of Applied Human Sciences recently hosted a World Social Work Day event at the Howard College Theatre. The day is celebrated worldwide w

Add to Reading List

Source URL: www.iassw-aiets.org

Language: English
409Academia / Cambridge / Cambridge University Press / University of Cambridge

Cambridge University Press[removed]6 - The European Nitrogen Assessment: Sources, Effects and Policy Perspectives Edited by Mark A. Sutton, Clare M. Howard, Jan Willem Erisman, Gilles Billen and Albert Bleeker Co

Add to Reading List

Source URL: assets.cambridge.org

Language: English - Date: 2011-03-12 03:30:17
410Philosophy of mathematics / Logic in computer science / Type theory / Lambda calculus / Mathematical constructivism / Curry–Howard correspondence / Simply typed lambda calculus / Logic / Mathematical logic / Mathematics / Theoretical computer science / Computer science

J-Calc: A typed λ-calculus for Justification Logic K. Pouliasis1 , G. Primiero2 1 Department of Computer Science, Graduate Center, CUNY 2 FWO, Ghent University

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2013-04-15 07:37:00
UPDATE